From: Jasper St. Pierre Date: Thu, 5 Jul 2012 18:52:01 +0000 (-0400) Subject: windowManager: Remove unused function X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~6346 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=de65739c0109d2b8afbb33f58adfebcc878b7edc;p=gnome-shell.git windowManager: Remove unused function https://bugzilla.gnome.org/show_bug.cgi?id=679500 --- diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index d096c8399..1d5f2044f 100644 --- a/js/ui/windowManager.js +++ b/js/ui/windowManager.js @@ -26,12 +26,6 @@ function getDimShaderSource() { return dimShader; } -function getTopInvisibleBorder(metaWindow) { - let outerRect = metaWindow.get_outer_rect(); - let inputRect = metaWindow.get_input_rect(); - return outerRect.y - inputRect.y; -} - const WindowDimmer = new Lang.Class({ Name: 'WindowDimmer',